More Innnite Results
نویسنده
چکیده
Recently there has been a spurt of activity in concurrency theory centered on the analysis of innnite-state systems. The following two problems have been intensely investigated: (1) given two innnite-state systems, are they equal with respect to a certain equivalence notion?, and (2) given an innnite-state system and a property expressed in a certain temporal logic, does the system satisfy the property? In his CONCUR '96 paper, Faron Moller surveys some of the key results on the decidability and complexity of (1). The purpose of this paper for CONCUR's satellite INFINITY Workshop is to do the same with (2).
منابع مشابه
Innnite-dimensional Semideenite Programming:regularized Determinants and Self-concordant Barriers
We discuss possible approaches to generalizations of the semideenite programming in a more general context of the innnite-dimensional version of the Nesterov-Nemirovsky scheme. Examples of innnite-dimensional operator domains for which there exist self-concordant barriers are presented. The key notion of the regularized determinant is used to construct self-concordant barriers.
متن کاملLogical Deenability on Innnite Traces
The main results of the present paper are the equivalence of deenability by monadic second-order logic and recognizability for real trace languages, and that rst-order deenable, star-free, and aperiodic real trace languages form the same class of languages. This generalizes results on innnite words and on nite traces to innnite traces. It closes an important gap in the diierent characterization...
متن کاملOn quasi-amorphous sets
A set is said to be amorphous if it is innnite, but cannot be written as the disjoint union of two innnite sets. The possible structures which an amorphous set can carry were discussed in 5]. Here we study an analogous notion at the next level up, that is to say replacing nite/innnite by countable/uncountable, saying that a set is quasi-amorphous if it is uncountable, but is not the disjoint un...
متن کاملOverview of Existing Recurrent Schematizations
Innnite sets of objects with structural similarities appear frequently at diierent places in the theory of equational reasoning, automatic deduction, logic programming, and databases. The objects in such innnite families can have several forms. They are represented most frequently by terms. The formalisms to deal with innnite families are fairly limited. As long as only the representation is co...
متن کاملInnnite Dimensional Quadratic Optimization: Interior-point Methods and Control Applications
An innnite-dimensional convex optimization problem with the linear-quadratic cost function and linear-quadratic constraints is considered. We generalize the interior-point techniques of Nesterov-Nemirovsky to this innnite-dimensional situation. The obtained complexity estimates are similar to nite-dimensional ones. We apply our results to the linear-quadratic control problem with quadratic cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996